A Logic of Injectivity
نویسندگان
چکیده
Injectivity of objects with respect to a set H of morphisms is an important concept of algebra and homotopy theory; here we study the logic of consequences of H, by which we understand morphisms h such that injectivity with respect to H implies injectivity with respect to h. We formulate three simple deduction rules for the injectivity logic and for its finitary version (where morphisms between finitely ranked objects are considered only), and prove that they are sound (in all categories) and complete (in all ”reasonable” categories).
منابع مشابه
Kz-monadic Categories and Their Logic
Given an order-enriched category, it is known that all its KZ-monadic subcategories can be described by Kan-injectivity with respect to a collection of morphisms. We prove the analogous result for Kan-injectivity with respect to a collection H of commutative squares. A square is called a Kan-injective consequence of H if by adding it to H Kan-injectivity is not changed. We present a sound logic...
متن کاملInjectivity in a category: an overview on smallness conditions
Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...
متن کاملMORE ON INJECTIVITY IN LOCALLY PRESENTABLE CATEGORIES Dedicated to Horst Herrlich on the occasion of his 60th birthday
Injectivity with respect to morphisms having λ-presentable domains and codomains is characterized: such injectivity classes are precisely those closed under products, λ-directed colimits, and λ-pure subobjects. This sharpens the result of the first two authors (Trans. Amer. Math. Soc. 336 (1993), 785-804). In contrast, for geometric logic an example is found of a class closed under directed col...
متن کامل(r,t)-injectivity in the category $S$-Act
In this paper, we show that injectivity with respect to the class $mathcal{D}$ of dense monomorphisms of an idempotent and weakly hereditary closure operator of an arbitrary category well-behaves. Indeed, if $mathcal{M}$ is a subclass of monomorphisms, $mathcal{M}cap mathcal{D}$-injectivity well-behaves. We also introduce the notion of $(r,t)$-injectivity in the category {bf S-Act}, where $r...
متن کاملOrder dense injectivity of $S$-posets
In this paper, the notion of injectivity with respect to order dense embeddings in the category of $S$-posets, posets with a monotone action of a pomonoid $S$ on them, is studied. We give a criterion, like the Baer condition for injectivity of modules, or Skornjakov criterion for injectivity of $S$-sets, for the order dense injectivity. Also, we consider such injectivit...
متن کامل